<?php
foreach($summaries as $title) {
    $summary_titles[] = $title;
}

echo json_encode($summary_titles);
?>
